Exploiting Redundancy for Pattern-based Relation Instantiation Using tOKo
نویسندگان
چکیده
Viktor de Boer Department of Computer Science, Web & Media, Vrije Universiteit Amsterdam, the Netherlands [email protected] Maarten W. van Someren Informatics Institute, Universiteit van Amsterdam, the Netherlands [email protected] Bob J. Wielinga Department of Computer Science, Web & Media, Vrije Universiteit Amsterdam, the Netherlands [email protected] Anjo A. Anjewierden Behavioural Science IST, University of Twente, the Netherlands [email protected]
منابع مشابه
A Redundancy-Based Method for Relation Instantiation from the Web
The Semantic Web requires automatic ontology population methods. We developed an approach, that given existing ontologies, extracts instances of ontology relations, a specific subtask of ontology population. We use generic, domain independent techniques to extract candidate relation instances from the Web and exploit the redundancy of information on the Web to compensate for loss of precision c...
متن کاملRelation Instantiation for Ontology Population Using the Web
The Semantic Web requires automatic ontology population methods. We developed an approach, that given existing ontologies, extracts instances of ontology relations, a specific subtask of ontology population. We use generic, domain independent techniques to extract candidate relation instances from the Web and exploit the redundancy of information on the Web to compensate for loss of precision c...
متن کاملSystem Description: iProver – An Instantiation-Based Theorem Prover for First-Order Logic
iProver is an instantiation-based theorem prover which is based on Inst-Gen calculus, complete for first-order logic. One of the distinctive features of iProver is a modular combination of instantiation and propositional reasoning. In particular, any state-of-the art SAT solver can be integrated into our framework. iProver incorporates state-of-the-art implementation techniques such as indexing...
متن کاملUsing the Adaptive Frequency Nonlinear Oscillator for Earning an Energy Efficient Motion Pattern in a Leg- Like Stretchable Pendulum by Exploiting the Resonant Mode
In this paper we investigate a biological framework to generate and adapt a motion pattern so that can be energy efficient. In fact, the motion pattern in legged animals and human emerges among interaction between a central pattern generator neural network called CPG and the musculoskeletal system. Here, we model this neuro - musculoskeletal system by means of a leg - like mechanical system cal...
متن کاملImplementing an Instantiation-based Theorem Prover for First-order Logic
The basic idea behind instantiation-based theorem proving is to combine clever generation of instances of clauses with satisfiability checking of ground formulas. There are a number of approaches developed and implemented in recent years: Ordered Semantic Hyper Linking of Plaisted and Zhu, Disconnection Calculus of Letz and Stenz implemented in DCTP, Model Evolution Calculus of Baumgartner and ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010